Integrated Deductive Database System Implementation: A Systematic Study
نویسندگان
چکیده
منابع مشابه
DES: A Deductive Database System
This work describes a novel implementation of a deductive database system which fills some gaps other systems do not. In fact, this system was born to this end and since its inception, many new features have been added (null values, outer joins, aggregates, ...). In particular, it embodies both Datalog and SQL query languages, where the same database can be queried. It enjoys an actual interact...
متن کاملDesign and Implementation of the Relationlog Deductive Database System
We describe the design and implementation of Relationlog, a persistent deductive database system. Unlike other related systems such as Aditi, CORAL, LDL, LOLA and Nail-Glue, Relationlog supports effective storage, efficient access and inference of large amounts of data with complex structures and provides declarative query language that can define recursive views involving complex data and also...
متن کاملThe MyYapDB Deductive Database System
We describe the MyYapDB, a deductive database system coupling the Yap Prolog compiler and the MySQL DBMS. We use our OPTYap extension of the Yap compiler, which is the first available system that can exploit parallelism from tabled logic programs. We describe the major features of the system, give a simplified description of the implementation and present a performance comparison of using stati...
متن کاملDeductive Object-oriented Database System
DO is a deductive object oriented database developed at the National University of Singapore The system aims to integrate de ductive and object oriented paradigms and use their advantages to over come both the paradigms respective weaknesses DO di ers from con ventional deductive object oriented databases in its key based approach for OIDs pro active approach to resolving inheritance con icts a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1990
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/33.1.40